Programming style - PDFSEARCH.IO - Document Search Engine

Programming style
Results: 434

#	Item
21	PPP Style Guide Stroustrup Add to Reading List Source URL: stroustrup.com Language: English - Date: 2012-06-03 15:04:38 Software engineering Computer programming Computing C++ Data types C Const ALGOL 68 Foreach loop C++11 Typedef
22	An Adequate, Denotational, Functional-Style Semantics for Typed FlatCurry Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:10 Theoretical computer science Mathematical logic Software engineering Computability theory Models of computation Logic in computer science Programming language semantics Denotational semantics Recursion Negation True quantified Boolean formula Mathematical proof
23	Paper Title (use style: paper title) Add to Reading List Source URL: eldar.mathstat.uoguelph.ca Language: English - Date: 2016-07-12 12:05:04 Artificial intelligence Computer programming Cognitive science Software engineering Predation Automated planning and scheduling Behavior Q-learning Behavior tree Reinforcement learning B-tree Ethology
24	Unifying Refinement and Hoare-Style Reasoning in a Logic for Higher-Order Concurrency Aaron Turon Derek Dreyer Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2013-07-22 04:30:15 Mathematical logic Logic Theoretical computer science Logic in computer science Predicate logic Philosophical logic Automated theorem proving Logic programming Hoare logic Separation logic Unification Combinatory logic
25	ocp-lint A Plugin-based Style-Checker with Semantic Patches C ¸ a˜gda¸s Bozman Th´eophane Hufschmitt Add to Reading List Source URL: www.ocamlpro.com Language: English - Date: 2016-08-03 11:03:59 Software engineering Computer programming Software OCaml Program analysis Lint Camlp4 Type system Caml
26	Reverse Hoare Logic? Edsko de Vries and Vasileios Koutavas Trinity College Dublin, Ireland {Edsko.de.Vries,Vasileios.Koutavas}@cs.tcd.ie Abstract. We present a novel Hoare-style logic, called Reverse Hoare Add to Reading List Source URL: www.edsko.net Language: English - Date: 2016-08-02 06:27:04 Logic Theoretical computer science Mathematics Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Hoare logic Predicate transformer semantics Permutation Closed and exact differential forms
27	From Indentation Shapes to Code Structures Abram Hindle, Michael W. Godfrey, and Richard C. Holt Software Architecture Group (SWAG) School of Computer Science University of Waterloo Waterloo, Ontario, Canada Add to Reading List Source URL: churchturing.org Language: English - Date: 2009-04-12 14:52:53 Software engineering Computer programming Computing Procedural programming languages Source code Cross-platform software Comment Reference Programming style Nesting Conditional ALGOL 68
28	Reading Beside the Lines: Indentation as a Proxy for Complexity Metrics Abram Hindle University of Waterloo Waterloo, Ontario Canada Add to Reading List Source URL: plg.uwaterloo.ca Language: English - Date: 2008-03-16 18:36:16 Software engineering Computer programming Software metrics Source code Software Indentation Indent style Cyclomatic complexity Lexical analysis Programming complexity Source lines of code Complexity
29	Paper Title (use style: paper title) Add to Reading List Source URL: www.acisinternational.org Language: English - Date: 2015-12-02 22:40:09 Computing Software engineering Computer programming Archival science Collections care Evidence law Museology Provenance Scientific method Stream processing Stream Luc Moreau
30	Guide2lhs2TeX (for versionRalf Hinze Computing Laboratory, University of Oxford Wolfson Building, Parks Road, Oxford, OX1 3QD, England Add to Reading List Source URL: www.andres-loeh.de Language: English - Date: 2015-03-03 07:36:01 Higher-order functions Programming language comparisons Source code Map Haskell Fold Literate programming Programming style LaTeX Comment TeX Directive